solve a proportion with a variable in the denominator